category ['kætigəri] danh từ hạng, loại (triết học) phạm trù category...
theorem ['θiərəm] danh từ (toán học) định lý theorem định lý t....
Câu ví dụ
The Baire category theorem: If X is a complete metric space or a locally compact Hausdorff space, then the interior of every union of countably many nowhere dense sets is empty. Định lý phạm trù Baire: Nếu X là một không gian metric đủ hay là một không gian Hausdorff compact địa phương, thì hội đếm được của các tập không đâu trù mật có phần trong là tập trống.